Second-order Quantifier Elimination: Foundations, Computational Aspects and Applications (Studies in Logic: Mathematical Logic and Foundations)
by Dov Gabbay,Renate A. Schmidt,Andrzej Szalas
ISBN 13: 9781904987567
Format: Paperback (320 pages) Publisher: College Publications Published: 17 Apr 2008
Save for later
Knowledge Representation Techniques: A Rough Set Approach: 202 (Studies in Fuzziness and Soft Computing)
by Patrick Doherty,Witold Lukaszewicz,Andrzej Szalas
ISBN 13: 9783540335184
Format: Hardcover (352 pages) Publisher: Springer Published: 16 Jun 2006
Mathematical Foundations of Computer Science 1996: 21st International Symposium, MFCS' 96, Crakow, Poland, September 2 - 6, 1996. Proceedings: 1113 (Lecture Notes in Computer Science)
by Wojciech Penczek,Andrzej Szalas
ISBN 13: 9783540615507
Format: Paperback (612 pages) Publisher: Springer Published: 07 Aug 1996
ISBN 13: 9783642070129
Format: Paperback (352 pages) Publisher: Springer Published: 25 Nov 2010